Definitions and Security of Quantum Electronic Voting

Recent advances indicate that quantum computers will soon be reality. Motivated by this ever more realistic threat for existing classical cryptographic protocols, researchers have developed several schemes to resist “quantum attacks.” In particular, electronic voting (e-voting), relying on properties of mechanics been proposed. However, each these proposals comes with a different and often not well-articulated corruption model, has objectives, is accompanied security claims are never formalized at best justified only against specific attacks. To address this, we propose the first formal definitions e-voting protocols. With hand, systematize evaluate previously proposed protocols; examine works concerning privacy, correctness, verifiability, if they correctly attributed all non-trivial cases, identify attacks violate properties. We argue cause failures lies in absence models references literature.